A real-time criterion theory of duration discrimination

نویسندگان

چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Bayesian Optimum Design Criterion for Multi Models Discrimination

The problem of obtaining the optimum design, which is able to discriminate between several rival models has been considered in this paper. We give an optimality-criterion, using a Bayesian approach. This is an extension of the Bayesian KL-optimality to more than two models. A modification is made to deal with nested models. The proposed Bayesian optimality criterion is a weighted average, where...

متن کامل

Functional neuroimaging of duration discrimination on two different time scales.

Analyses of neural mechanisms of duration processing are essential for the understanding of psychological phenomena which evolve in time. Different mechanisms are presumably responsible for the processing of shorter (below 500 ms) and longer (above 500 ms) events but have not yet been a subject of an investigation with functional magnetic resonance imaging (fMRI). In the present study, we show ...

متن کامل

A Specification Theory of Real-Time Processes

This paper presents an assume-guarantee specification theory (aka interface theory from [11]) for modular synthesis and verification of real-time processes with critical timing constraints. Four operations, i.e. conjunction, disjunction, parallel and quotient, are defined over specifications, drawing inspirations from classic specification theories like refinement calculus [4,19]. We show that ...

متن کامل

Real-Time Scheduling Theory

in the directory /pub/techreports. Abstracts and compressed postscript files are available via Real-time, multi-tasking software, such as that used in embedded control systems, is notoriously difficult to develop and maintain. Scheduling theory offers a mathematically-sound way of predicting the timing behaviour of sets of communicating, concurrent tasks, but its principles are often unfamiliar...

متن کامل

Verifying Linear Duration Properties of Probabilistic Real-time Systems Verifying Linear Duration Properties of Probabilistic Real-time Systems

The mission of UNU/IIST is to assist developing countries in the application and development of software technology. UNU/IIST contributes through its programmatic activities: 1. advanced development projects in which software techniques supported by tools are applied, 2. research projects in which new techniques for software development are investigated, 3. curriculum development projects in wh...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Perception & Psychophysics

سال: 1977

ISSN: 0031-5117,1532-5962

DOI: 10.3758/bf03198714